Unification, finite duality and projectivity in varieties of Heyting algebras
نویسندگان
چکیده
منابع مشابه
Locally finite varieties of Heyting algebras
We show that for a variety V of Heyting algebras the following conditions are equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite; (3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is generated by its finite members if, and onl...
متن کاملProjectivity and unification in the varieties of locally finite monadic MV-algebras
A description of finitely generated free monadic MV -algebras and a characterization of projective monadic MV -algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.
متن کاملUnification and Projectivity in De Morgan and Kleene Algebras
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
متن کاملFinitely generated free Heyting algebras via Birkhoff duality and coalgebra
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be obtained by an inverse limit process. In order to explore the limits of this method we look at Heyting algebras which have mixed rank 0-1 axiomatizations. We will see that Heyting algebras are special in that they are...
متن کاملBitopological duality for distributive lattices and Heyting algebras
GURAM BEZHANISHVIL I†‖, N ICK BEZHANISHVIL I‡ ‖ , DAVID GABELAIA§ ‖ and ALEXANDER KURZ¶ †Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A. Email: [email protected] ‡Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, U.K. Email: [email protected] §Department of Mathematical Logic, Razmadze Mathematical Institut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2003.11.010